Practical Functional Reactive Programming
نویسندگان
چکیده
We present our experiences integrating Functional Reactive Programming (FRP) into a new host language, Python, and a variety of computational contexts: a game engine, a GUI system, and an embedded controller. We demonstrate FRP principles extended to a dynamic environment and the integration of object-oriented libraries into the reactive environment. A number of FRP semantic issues are addressed in a straight-forward way to produce an elegant combination of FRP and object-oriented programming. In particular, reactive proxies integrate traditional objects with the reactive world and event-triggered reactors allow reconfiguration of the network of reactive proxies and interaction with the outside world. This work demonstrates that FRP can serve as a unifying framework that simplifies programming and allows novices to build reactive systems. This system has been used to develop a wide variety of game programs and reactive animations in a summer camp which introduces programming concepts to teenagers.
منابع مشابه
Functional Reactive Programming for Real-Time Reactive Systems
Functional Reactive Programming for Real-Time Reactive Systems
متن کاملDetermining Actual Response Time in P-FRP
A purely functional model of computation, called Priority-based Functional Reactive Programming (P-FRP), has been introduced as a new paradigm for building real-time software. Unlike the classical preemptive model of real-time systems, preempted events in P-FRP are aborted and have to restart when higher priority events have completed, making the response time of events dependent on the executi...
متن کاملMaster’s Thesis Proposal: Framework for Formal Verification of Functional Reactive Systems
Functional reactive programming (FRP) is an emerging paradigm which allows the management of input/output and state within the confines of a purely functional language. The functional nature of FRP promises to make formal verification of functional reactive systems more tractable than that of their imperative counterparts. I propose to substantiate this claim by formally modeling FRP systems an...
متن کاملFeature-Oriented Functional Reactive Programming
This report describes an implementation of a functional reactive programming extension to Java implemented using the feature-oriented Jakarta Tool Suite. I explore the connection between feature-oriented programming and domain specific languages by demonstrating how this domain-specific language is both implemented and used in a feature-oriented system.
متن کاملFunctional Reactive Virtual Reality
In this paper we introduce a VR system extension that focuses on the creation of interactive, dynamic Virtual Environments. The extension uses the recently developed programming concept, Functional Reactive Programming. This paradigm focuses on an explicit and more natural concept of time in the modeling of dynamics, without sacrificing interactivity. We present an implementation that embeds th...
متن کامل